منابع مشابه
Playing with Subshifts
We study the class of word-building games, where two players pick letters from a finite alphabet to construct a finite or infinite word. The outcome is determined by whether the resulting word lies in a prescribed set (a win for player A) or not (a win for player B). We focus on symbolic dynamical games, where the target set is a subshift. We investigate the relation between the target subshift...
متن کاملCocyclic Subshifts
Motivated by the computations in the theory of cohomological Conley index, cocyclic subshifts are the supports of locally constant matrix cocycles on the full shift over a nite alphabet. They properly generalize sooc systems and topological Markov chains; and, via the Wedderburn-Artin theory of nite-dimensional algebras, admit a similar structure theory with a spectral decomposition into mixing...
متن کاملOn Lambda-graph Systems for Subshifts of Subshifts
Kengo Matsumoto has introduced λ-graph systems and strong shift equivalence of λ-graph systems [Doc.Math.4 (1999), 285-340]. We associate to a subshift of a subshift a λ-graph system. The strong shift equivalence class of the associated λ-graph system is an invariant of subsystem equivalence. Wolfgang Krieger and Kengo Matsumoto have introduced the λ-entropy of a λ-graph system and have shown i...
متن کاملSubshifts, Languages and Logic
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tilings. Conversely, we characterise logic fragments corresponding to various classes of infinite pictures (subshifts of finite type, sofic subshifts).
متن کاملConstructions with Countable Subshifts of Finite Type
We present constructions of countable two-dimensional subshifts of finite type (SFTs) with interesting properties. Our main focus is on properties of the topological derivatives and subpattern posets of these objects. We present a countable SFT whose iterated derivatives are maximally complex from the computational point of view, constructions of countable SFTs with high CantorBendixson ranks, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Informaticae
سال: 2014
ISSN: 0169-2968
DOI: 10.3233/fi-2014-1037